🔬 Refinement Types - emschwartz · Scour

midspiral/LemmaScript: verification toolchain for TypeScript (Tech Preview) 📘Typescript

github.com·7h·Hacker News

Show HN: Spice simulation → oscilloscope → verification with Claude Code 🔌Claude Plugins

lucasgerads.com·4d·Hacker News

Verus is a tool for verifying the correctness of code written in Rust ⚙Rust Compiler Internals

verus-lang.github.io·1d·Hacker News

Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification 📐TLA+

Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour 📐TLA+

dsyme.net·1d·Hacker News

From five optional fields to a discriminated union: CLI parsing with Optique 1.0 ⛰Alpine.js

hackers.pub·5d·Lobsters, Hacker News, r/programming, r/typescript

Passmark: The open-source Playwright library for AI regression testing 🎮Deterministic Simulation

passmark.dev·2d·Hacker News

Eliot Higgins (@eliothiggins.bsky.social) 🦋Bluesky

bsky.app·2d·Bluesky

A practitioner's framework for engineering trust from unreliable agents 🗳️Raft Consensus

michael.roth.rocks·5d·Hacker News

arian-gogani/nobulex: The accountability primitive for AI agents. Cryptographic behavioral commitments with trustless verification. 🤖Agent Payments

github.com·5h·Hacker News

Claude Opus 4.7 🔌Claude Plugins

dsebastien.net·5d

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification 🔓Lock-Free Structures

The Boy That Cried Mythos: Verification is Collapsing Trust in Anthropic 🛡️Anthropic PBC

flyingpenguin.com·5d·Lobsters, Hacker News

Emulation-based SoC Security Verification (U. of Florida) 🔐Hardware Security

semiengineering.com·4d

S.A.F.E.: RFC-style intent checks for privileged AI automation 💉Prompt Injection

zenodo.org·6d·Hacker News

Verification Modulo Tested Library Contracts 🔒Borrow Checker

Create Expert Content: Deploying a Multi-Agent System with Terraform and Cloud Run 🔧Agent Tooling

cloud.google.com·4d

Arc Prize Foundation (YC W26) Is Hiring a Platform Engineer for ARC-AGI-4 🏗️Platform Engineering

ycombinator.com·4d·Hacker News

ANGX: Append-only logging protocol with Ed25519 signing and witness verification 🏹Apache Arrow

news.ycombinator.com·5d·Hacker News

GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption ⚡DataFusion

Loading more...